$\forall$${\it es}$:event\_system\{i:l\}, $e$:es{-}E(${\it es}$).
\\[0ex]($\neg$($\uparrow$es{-}first(${\it es}$; $e$))) $\Rightarrow$ sqequal(es{-}init(${\it es}$;$e$); es{-}init(${\it es}$;es{-}pred(${\it es}$; $e$)))